Nuprl Definition : tlambda
13,42
postcript
pdf
(
x
:
T
.
b
(
x
))(
x
) ==
b
(
x
)
latex
Up
fun
1
,
fun
1
Definitions
x
.
A
(
x
)
FDL editor aliases
tlam
origin
x:T. b(x))(x) == b(x) x:T. b(x))(x) == b(x) x.A(x)